Int_0^infty (sin x)/x dx